Branching Processes of Conservative Nested Petri Nets
نویسندگان
چکیده
Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the “nets-within-nets” approach, when tokens in a marking are themselves Petri nets which have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with a dynamic structure in a natural way. In this paper we define branching processes and unfoldings for conservative NP-nets, i.e., NP-nets with a persistent set of agents. We show that NPnets unfoldings satisfy the fundamental property of unfoldings, and thus can be used for verification of conservative NP-nets in line with classical unfolding methods.
منابع مشابه
Branching Processes of High-Level Petri Nets
In this paper, we define branching processes and unfoldings of high-level Petri nets and propose an algorithm which builds finite and complete prefixes of such unfoldings. The advantage of our method is that it avoids a potentially expensive translation of a high-level Petri net into a low-level one. The approach is conservative as all the verification tools employing the traditional unfoldings...
متن کاملBranching Processes of General Petri Nets
We propose a new model of branching processes, suitable for describing the behavior of general Petri nets, without any finiteness or safeness assumption. In this framework, we define a new class of branching processes and unfoldings of a net N , which we call faithful. These coincide with the safe branching processes and unfoldings if N is safe, or weakly safe as in [Engelfriet 1991], but not i...
متن کاملModeling production configuration using nested colored object-oriented Petri-nets with changeable structures
Configuring production processes based on process platforms has been well recognized as an effective means for companies to provide product variety while maintainingmass production efficiency. The production processes of product families involve diverse variations in manufacturing and assembly processes resulted from a large variety of component parts and assemblies. This paper develops a multi...
متن کامل